home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / only.c < prev    next >
C/C++ Source or Header  |  1996-08-26  |  220b  |  16 lines
  1. extern /*@only@*/ int *glob;
  2.  
  3. /*@only@*/ int *
  4.   f (/*@only@*/ int *x, int *y,
  5.      int *z)
  6.   /*@globals int *glob;@*/
  7. {
  8.   int *m = (int *)
  9.     malloc (sizeof (int));
  10.   
  11.   glob = y;
  12.   free (x);
  13.   *m = *x;
  14.   return z;
  15. }
  16.